Proto-Quipper with Reversing and Control. With
P. Fu, K. Kishida, and P. Selinger. Preprint, 2024.
[pdf,
arXiv]
A Sound and Complete Equational Theory for 3-Qubit
Toffoli-Hadamard Circuits. With M. Amy and
S. Wesley. In: Proceedings of QPL 2024.
[pdf,
arXiv,
supplement]
Exact Synthesis of Multiqutrit Clifford-Cyclotomic
Circuits. With A.N. Glaudell, J. van de Wetering,
and L. Yeh. In: Proceedings of QPL 2024.
[pdf,
arXiv]
Catalysing Completeness and Universality. With
A. Kissinger and J. van de Wetering. Preprint,
2024. [pdf,
arXiv]
Exact Synthesis of Multiqubit Clifford-Cyclotomic
Circuits. With M. Amy, A.N. Glaudell, S. Kelso,
W. Maxwell, and S.S. Mendelson. In: Proceedings of RC
2024. [pdf,
arXiv]
Improved Synthesis of Toffoli-Hadamard
Circuits. With M. Amy, A.N. Glaudell, and S.M. Li. In:
Proceedings of RC 2023. [pdf,
arXiv]
Catalytic Embeddings of Quantum Circuits. With
M. Amy, M. Crawford, A.N. Glaudell, M.L. Macasieb, and
S.S. Mendelson. Preprint,
2023. [pdf,
arXiv]
On the Lambek Embedding and the Category of
Product-Preserving Presheaves. With
P. Fu, K. Kishida, and P. Selinger. Preprint, 2022.
[pdf,
arXiv]
Proto-Quipper with Dynamic Lifting. With P. Fu,
K. Kishida, and P. Selinger. In: Proceedings of POPL 2023.
[pdf,
arXiv]
Symbolic Synthesis of Clifford Circuits and
Beyond. With M. Amy and O. Bennett-Gibbs. In:
Proceedings of QPL 2022.
[pdf,
arXiv]
A Biset-Enriched Categorical Model for Proto-Quipper
with Dynamic Lifting. With P. Fu, K. Kishida, and
P. Selinger. In: Proceedings of QPL 2022.
[pdf,
arXiv]
Qutrit Metaplectic Gates Are a Subset of
Clifford+T. With A.N. Glaudell, J. van de Wetering,
and L. Yeh. In: Proceedings of TQC 2022.
[pdf,
arXiv]
The Phase/State Duality in Reversible Circuit
Design. With M. Amy. In: Physical Review A, 2021.
[pdf,
arXiv]
Generators and Relations for the Group
On(Z[1/2]). With S.M. Li and P. Selinger. In:
Proceedings of QPL 2021. [pdf,
arXiv]
Generators and Relations for Real Stabilizer
Operators. With J. Makary and P. Selinger. In:
Proceedings of QPL 2021.
[pdf,
arXiv,
supplement]
Optimal Two-Qubit Circuits for Universal Fault-Tolerant
Quantum Computation. With A.N. Glaudell and J.M.
Taylor. In: npj Quantum Information, 2021.
[pdf,
arXiv]
A Tutorial Introduction to Quantum Circuit Programming
in Dependently Typed Proto-Quipper. With P. Fu, K.
Kishida, and P. Selinger. In: Proceedings of RC 2020.
[pdf,
arXiv]
Number-Theoretic Characterizations of Some Restricted
Clifford+T Circuits. With M. Amy and A.N. Glaudell.
In: Quantum, 2020.
[pdf,
arXiv]
Graphical Methods in Device-Independent Quantum
Cryptography. With S. Breiner and C.A. Miller.
In: Quantum, 2019.
[pdf,
arXiv]
Canonical Forms for Single-Qutrit Clifford+T
Operators. With A.N. Glaudell and J.M. Taylor.
In: Annals of Physics, 2019.
[pdf,
arXiv,
errata]
The Dawn of Quantum Programming. In: Quantum
Views, 2018. [pdf,
journal]
Toward the First Quantum Simulation with Quantum
Speedup. With A.M. Childs, D. Maslov, Y. Nam, and
Y. Su. In: Proceedings of the National Academy of Sciences,
2018. [pdf,
arXiv]
Automated Optimization of Large Quantum Circuits with
Continuous Parameters. With A.M. Childs, D. Maslov,
Y. Nam, and Y. Su. In: npj Quantum Information, 2018.
[pdf,
arXiv]
A Finite Presentation of CNOT-Dihedral Operators.
With M. Amy and J. Chen. In: Proceedings of QPL 2017.
[pdf,
arXiv]
Optimal Ancilla-Free Clifford+T Approximation of
z-Rotations. With P. Selinger. In: Quantum Information
& Computation, 2016.
[pdf,
arXiv]
Algebraic and Logical Methods in Quantum Computation.
Ph.D. thesis, Dalhousie University, 2015.
[pdf,
arXiv,
errata]
Optimal Ancilla-Free Clifford+V Approximation of
z-Rotations. In: Quantum Information &
Computation, 2015. [pdf,
arXiv]
Programming the Quantum Future. With
D.S. Alexander, P. Selinger, J.M. Smith and B. Valiron.
In: Communications of the ACM, 2015.
Quipper: Concrete Resource Estimation in Quantum
Algorithms. With P. Selinger, J.M. Smith and
B. Valiron. Extended abstract for QAPL 2014.
[pdf,
arXiv]
An Introduction to Quantum Programming in
Quipper. With A.S. Green, P. Lefanu Lumsdaine,
P. Selinger and B. Valiron. In: Proceedings of RC
2013. [pdf,
arXiv]
Quipper: A Scalable Quantum Programming
Language. With A.S. Green, P. Lefanu Lumsdaine,
P. Selinger and B. Valiron. In: Proceedings of PLDI
2013. [pdf,
arXiv]
Full Abstraction for Set-Based Models of the Symmetric
Interaction Combinators. With D. Mazza. In:
Proceedings of FoSSaCS 2012.
[pdf]
